Complex connectives

Generating Connectives

We present an implemented procedure to select an appropriate connective to link two propositions, which is part of a large text generation system. Each connective is defined as a set of constraints between features of flxe propositions it connects. Ore' focus has been to identify pragmatic features flint can be produced by a deep generator to provide a simple representation of connectives. Usin...

Causal Connectives

Temporal connectives versus explicit

Some temporal query languages work directly on a timestamp repre sentation of the temporal database while others provide a more implicit access to the ow of time by means of temporal connectives We study the di erences in expressive power between these two approaches We rst consider rst order logic i e the relational calculus We show that rst order future temporal logic is strictly less powerfu...

Disambiguating potential connectives

Many discourse connectives also have nondiscourse, or sentential readings. Therefore, for automatic discourse structure analysis, there arises a disambiguation problem even before the question of signalled discourse relation beomes relevant. We focus here on a set of nine German connectives and characterize the task of determining their discourse/sentential reading. Starting from an analysis of...

Connectives in Cumulative Logics

Cumulative logics are studied in an abstract setting, i.e., without connectives, very much in the spirit of Makinson’s [11] early work. A powerful representation theorem characterizes those logics by choice functions that satisfy a weakening of Sen’s property α, in the spirit of the author’s [9]. The representation results obtained are surprisingly smooth: in the completeness part the choice fu...